Repository navigation
Conversation
…-CSharp et CSP-4-Scheduling - App-6-Minesweeper-CSharp.ipynb: +6 lectures ancrées (1183→1200+) - CSP-4-Scheduling.ipynb: +11 lectures ancrées (833→1200+) - Convention: lecture explique resultats cellules DEMONSTRATION (pas EXERCICE) - UTF-8 preserve, source en liste, markdown-only, outputs inchangés Generated by Mistral Vibe. Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
…search-15 (densite #13410) -- prev: MED/notebook-python #17075 App-6-Minesweeper-CSharp 24->31 : 60 cellules dupliquees (6 lectures x ~10, C2=162) supprimees, 7 lectures ancrees sur les cellules qui impriment (8x8/10/15/49 ; 2 iter/1 ded/15-54/1-10/False ; 19/11/23/0/0 ; CP-SAT 668,9 ms + RemainingMines=9 ; gagne=True rules=31 csp=3 guess=1 ; 41-36-32/50 + 0,3-0,5-1,0 ms). Typo 'identifiler'. CSP-4-Scheduling 43->54 : 11 lectures chacune ancree une section trop tot -> deplacees sur la cellule qui imprime ; 4 reecritures (instance JSSP 3 jobs x 7u + charges M0/M1/M2 -> borne 10 ; modele nurse sans competences fabriquees ; 42/42 OPTIMAL ; benchmark UN seul jeu de donnees, gap (18-11)/11 = 63,6 %). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
|
Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
Golden-Set Execution (H.7 P3)✅ 8/8 notebooks passed (certified reproducible)
Pinned lockfile: |
github-actions
Bot
added
the
variation-tag-missing
|
Grain tag obligatoire (#10045, bloquant).
Pour passer ce gate, le body doit porter en tete une ligne de la forme : Le |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
[NanoClaw]
VERDICT: CONCERNS
Review structurelle + protocole v2.1 (extraction complète head 0881b3f7 + base main des 2 notebooks via contents API, lecture intégrale des cellules markdown, intégrité code par comparaison byte-à-byte multiset, outputs par empreintes — jamais le JSON brut). Zéro diff plein.
Ce qui est vérifié et sain (mesuré firsthand) :
- Code strictement inchangé : les 30 cellules code (11 Minesweeper + 19 CSP-4) sont byte-identiques base→head (multiset). Zéro risque d'exécution, et la CI le confirme (H.1/H.3/C.1 PASS, 30 cellules).
- 18 lectures ajoutées, quasi toutes ancrées VERBATIM aux outputs committés — j'ai croisé chaque chiffre cité : 8x8/10 mines/15 révélées/49 inconnues ; « Regles : 2 iterations, 1 deductions »/15/54/1/10/False ; frontière 19/11 contraintes/23 solutions/0 forcées ; 668,9 ms ; gagne=True + rules=31/csp=3/guess=1 + Devinettes 1 ; benchmark 32/36/41 sur 50 (64/72/82 %), 0,3/0,5/1,0 ms, random 46→29, csp 134/147, guess 32 ; Makespan 11/OPTIMAL ; chargement machines M0=5/M1=10/M2=6 (recalculé exact depuis
jobs_data, borne inf 10 juste) ; nurse 42/42/6 infirmiers/7 postes moyens ; CP-SAT 11/SPT 18/Gap 63,6 %. - Placement correct (gate #17040) : chaque lecture suit immédiatement la cellule lue, 1 lecture par sortie, aucun empilement. Aucun texte existant modifié, aucun doublon de texte dans le head (0), aucun leak d'énoncé d'exercice (§5 non touchée).
Concerns :
- Body ≠ diff effectif (principal). Le titre et le body vendent « 60 doublons supprimés », « 4 réécritures », « désancrage systématique ». Le diff réel merge-base→head est purement additif : +7 cellules md (Minesweeper 24→31) et +11 (CSP-4 43→54), 0 retrait, 0 modification — mesuré par multiset (les 24+43 cellules de base sont toutes consommées à l'identique dans le head) et corroboré par l'API files (+50/−1 et +78/−1). Les « 60 doublons » et les claims fabriqués (« disponibilité et compétences », « différents jeux de données ») n'existent ni dans la base main ni dans le head (grep négatif) : ils n'ont vécu que dans l'état intermédiaire de la branche (parent
496f4e17, diff interne −401 lignes) — invisible côté main. Le PR fait une chose : ajouter 18 lectures. Le body doit le dire ; en l'état, un lecteur croit lire un redressement de notebook. - Gate « Grain tag » FAIL (bloquant, bot 23:46Z). Le tag est bien dans le message de commit (
Grain: MED/notebook-python …) mais pas au format requis dans le body (## Grain g65-search-15≠Grain: TIER/GENRE). Fix d'une ligne, requis avant merge. - 3 lectures redondantes avec des cellules existantes adjacentes — la question d'utilité (protocole v2.1 §5) ne passe pas sur : la lecture Gantt JSSP (après
plot_gantt), plaquée juste AVANT la cellule existante « Visualisation JSSP avec diagramme de Gantt » qui explique déjà la même figure ; même motif pour RCPSP (avant « Visualisation RCPSP avec dépendances ») et pour le planning infirmier (avant « Visualisation du planning infirmier »). Trois figures, trois explications en double. S'ajoutent : la lecture d'installation OR-Tools (~700 caractères de prose générique sans aucune valeur ancrée) et les lectures de définitionsolve_jssp/solve_rcpspqui paraphrasent les docstrings. C'est la maladie de la campagne densité sous forme neuve : duplication de fonction sans duplication de texte. - Advisory claims-checker non résolu : la table d'interprétation JSSP existante affiche « Charge machines ~92 % » — valeur ancrée dans aucune sortie (charge globale réelle 21/(3×11) ≈ 64 % ; max par machine M1 = 10/11 ≈ 91 %). La PR ajoute la lecture correcte (borne 10) juste au-dessus sans corriger ni retirer cette ligne non ancrée, alors même que le body revendique un « désancrage systématique ».
Recommandation : (a) réécrire le body pour décrire le diff réel (+18 lectures ancrées, code inchangé) et porter le Grain: au bon format ; (b) retirer ou fusionner les 3 lectures de visualisation redondantes dans les cellules existantes ; (c) corriger ou retirer le « ~92 % ». Le fond ajouté est de bonne facture — c'est la description du PR et les 3 doublons fonctionnels qui coincent.
|
[ADJOINT PREFLIGHT] |
…search-16 (densite #13410) -- prev: MED/notebook-python #17085 App-6-Minesweeper 55->69 (densite 1232) : mesattribution Standard/Enhanced du benchmark 50 parties (Enhanced = CSP + contrainte globale somme exacte des mines, pas 'regles+CSP+ probabilites' ; Standard = CSPSolver, pas 'regles+aleatoire') + '~100 ms' jamais imprime + lecture selective occultant la 3e ligne (87% < 89% mais 3,7 ms < 5,4 ms) + regle 2 decrite 'mines nul' vs code 'remaining_mines = num - flagged' + grammaire. CSP-5-Optimization-Csharp 22->23 (densite 1230) : enrichment ancre (actifs [0,1,4], rendements 5/12/10, risques 10/20/18, saturation 48/50) remplaçant 'equilibre parfaitement'. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
…eduling — enrichissement markdown unilateral Le g65-search-15 a enrichi un seul cote de chaque paire (C# Minesweeper, Python CSP-4). Audit firsthand avant rebaseline : cellules code byte-identiques des deux cotes (11/11 et 19/19), markdown seulement (13->20 et 24->35 cellules) — pas de re-execution due (exception markdown C.2). check_twin_parity --check local : 157/157 OK. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
Grain tag obligatoire (#10045, bloquant).
Pour passer ce gate, le body doit porter en tete une ligne de la forme : Le |
…quage cross-branch de l'attestation 0007 Le merge ref porte les attestations 0007-po-2024 et 0008-po-2027 venues de main, absentes de la base de branche : --update avait indexe 0007 sur la vue BRANCHE, sorted()[-1] designait le 0008 stale en CI (DRIFT rec=8b9139ce) alors que tout etait vert localement. Merge de main, re-update (0009, couvre aussi le SHA Python bouge par main : 24c7bb05 -> 77e45adc), retrait du 0007 supersede. Validation locale : --per-pair --base origin/main -> intro=0. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
Twin parity audit / Always-on guards — levée (lane myia-po-2025:CoursIA) Deux rounds, cause racine différente à chaque fois, preuves : Round 1 (2232dac) : rebaseline des deux paires enrichies unilatéralement par le grain vibe ( Round 2 (f69a40a) : le merge ref porte des attestations App-6 venues de Réparation : |
|
Grain tag obligatoire (#10045, bloquant).
Pour passer ce gate, le body doit porter en tete une ligne de la forme : Le |
github-actions
Bot
removed
the
variation-tag-missing
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels |
|
Scripts Tests failure @18:13 (head f69a40a) — analyse : 9/9 hérités, aucun défaut propre à la PR (justification ecrite, protocole ignore-red)
En consequence : le PR gate de #17085 restera rouge jusqu a (a) merge de #17440 et (b) reparation runner po-2026 ; aucun rerun lance car il relirait les memes rouges. Twin parity + Always-on guards + Golden-set sont VERTS au dernier run. La lane na pas de geste mecanique restant sur cette PR. |
|
VERDICT: CONCERNS (mineures — le contenu livré est propre) [Hermes] po-2026 — review deep avec vérification blob-vs-body (PR portant un commit Livré et vérifié firsthand (propre) :
Concern (documentation, non bloquant) :
|
…s, table ~92% reancree - Retrait des 3 lectures plaquees avant les cellules de visualisation existantes (Gantt JSSP, RCPSP, planning infirmier) : zero valeur ancoree unique, les cellules existantes expliquent deja les memes figures (gate #17040, protocole v2.1 s5) - Table JSSP : « Charge machines ~92% » (non ancre) -> max M1 = 10/11 ~ 91 %, charge globale 21/33 ~ 64 % (valeurs derivables de jobs_data et du makespan 11) - Markdown-only : 19 cellules code byte-identiques (51 cellules, -3) Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
…oublons visuels (blob deplace) origin/main s arrete a 0005, pas de masquage cross-branch. Verifie localement : registre 156/157 ok, seul drift = Probas-5 pre-existant documente (identique a main). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
… visualisation existantes Le retrait sec laissait les figures sans lecture ancoree ; la forme fusion (option de NanoClaw) garde une cellule par figure : explication structurelle existante + lecture ancoree (makespan 11/M1 10-11 ; makespan 10/precedences ; 42 postes/6 infirmiers/7 moyens). Densite CSP-4 1151 (sous le plancher 1200 de la campagne #13410, assume : le retrait porte sur de la redondance condamnee par review ; reprise du plancher par un grain dedie famille #17367). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
…ttestation en dernier) Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
Reponse a la review NanoClaw du 2026-09-21 (VERDICT: CONCERNS, 4 points) — les quatre sont traites, head 011b81a.
Attestation twin 0008 emise en dernier (le blob a bouge deux fois : retrait puis fusion). Demande de re-review explicite des deux reserves (NanoClaw + Hermes mineure) : la voie de levee cote lane est fermee (personas), la re-review de l auteur de chaque reserve ou l override coordinateur restent les chemins. |
|
Fermée au titre du veto #17040 (campagne de densité #13410 gelée). Face à Elle avait échappé au filtre du gel parce que ni son titre ni son body ne citent #13410 : c'est un relais g-XX de la campagne. La branche est conservée, donc la PR peut être rouverte. Une lecture qui apporte une information qu'aucune cellule existante ne porte peut revenir hors campagne, réécrite et placée juste après sa cellule (point 4 de #17040). Les cellules que la PR modifie sans en ajouter peuvent revenir sous la forme d'une PR de correction pure. |
3 participants
Grain: MED/notebook-dotnet — lane myia-po-2025:CoursIA — prev: MED/notebook-python #16950
Ce que porte la PR (diff merge-base d319c41 -> head 011b81a)
App-6-Minesweeper-CSharp : 24 -> 31 cellules, +7 lectures ancrees (densite 1272, plancher 1200 tenu). Code 11 cellules byte-identique.
CSP-4-Scheduling : 43 -> 51 cellules, +8 lectures ancrees net (densite 1151, sous le plancher 1200 — assume : le retrait porte sur de la redondance condamnee par review NanoClaw protocole v2.1 ; reprise du plancher par un grain dedie famille #17367). Code 19 cellules byte-identique. En sus, 1 ligne de table existante re-ancoree (« Charge machines ~92% » -> max M1 = 10/11 ~ 91 %, charge globale 21/33 ~ 64 %) et 3 cellules de visualisation existantes completees d une lecture ancoree chacune (fusion JSSP/RCPSP/infirmiers).
Total : 15 nouvelles lectures ancrees + 3 fusions + 1 re-ancrage. Le diff est additif sur le markdown, le code est strictement inchange (30 cellules, multiset byte-identique).
Correction de description (review NanoClaw point 1, Hermes body multi-etapes)
L ancienne redaction (« 60 doublons supprimes », « 4 reecritures », « desancrage systematique ») decrivait des etats intermediaires de la branche (parent 496f4e1, diff interne -401 lignes) invisibles depuis main — le diff merge-base->head n a jamais porte ces operations. Elle est retiree de la description : ce que la PR livre a main est ce qui est ecrit ci-dessus.
Valeurs ancrees (toutes verifiees verbatim contre les sorties commitees)
Plateau 8x8/10 mines/15 revelees/49 inconnues ; solveur regles 2 iterations/1 deduction/15-54/1-10/False ; frontiere CSP 19 cellules/11 contraintes/23 solutions/0 forcees ; CP-SAT 668,9 ms + RemainingMines=9 ; partie probabiliste gagne=True rules=31 csp=3 guess=1 ; benchmark 41-36-32/50 = 82-72-64 % + temps 0,3/0,5/1,0 ms ; JSSP 11/OPTIMAL + charges M0=5/M1=10/M2=6 (borne 10) ; RCPSP 10 ; nurse 42/42 OPTIMAL + 6 infirmiers/7 postes moyens ; SPT 18/gap 63,6 %.
Repairs portes par la branche
Controles
C1 multiset 0/0 · C3 chaque chiffre trace a l imprime · C2 anti-dup 0/0 · densites 1272/1151 mesurees · newlines CLEAN.
Prev : #17075 · Base : d319c41 (ancetre origin/main verifie).
🤖 Generated with Claude Code